Ingrand, Félix: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand

Journal:

Robotics and Autonomous Systems

Year:

2012

Language:

english

File:

PDF, 2.10 MB

english, 2012

2

[IEEE 2019 Third IEEE International Conference on Robotic Computing (IRC) - Naples, Italy (2019.2.25-2019.2.27)] 2019 Third IEEE International Conference on Robotic Computing (IRC) - Recent Trends in Formal Validation and Verification of Autonomous Robots Software

Year:

2019

File:

PDF, 34 KB

2019

3

Deliberation for autonomous robots: A survey

Ingrand, Félix, Ghallab, Malik

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 2.72 MB

english, 2014

4

Learning the behavior model of a robot

Guillaume Infantes, Malik Ghallab, Félix Ingrand

Journal:

Autonomous Robots

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

5

The ExoMars rover and Pasteur payload Phase A study: an approach to experimental astrobiology

Barnes, Dave, Battistelli, Enrico, Bertrand, Reinhold, Butera, Francesco, Chatila, Raja, Del Biancio, Alessandro, Draper, Chris, Ellery, Alex, Gelmi, Rolando, Ingrand, Felix, Koeck, Charles, Lacroix,

Journal:

International Journal of Astrobiology

Year:

2006

Language:

english

File:

PDF, 609 KB

english, 2006

6

Decisional autonomy of planetary rovers

Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py

Journal:

Journal of Field Robotics

Year:

2007

Language:

english

File:

PDF, 1.46 MB

english, 2007

7

A cooperative architecture for target localization using multiple AUVs

Assia Belbachir, Félix Ingrand, Simon Lacroix

Journal:

Intelligent Service Robotics

Year:

2012

Language:

english

File:

PDF, 1.52 MB

english, 2012

8

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study

Sotiropoulos, Thierry, Waeselynck, Helene, Guiochet, Jeremie, Ingrand, Felix

Year:

2017

Language:

english

File:

PDF, 924 KB

english, 2017

9

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Formal verification of complex robotic systems on resource-constrained platforms

Foughali, Mohammed, Berthomieu, Bernard, Zilio, Silvano Dal, Hladik, Pierre-Emmanuel, Ingrand, Félix, Mallet, Anthony

Year:

2018

Language:

english

File:

PDF, 656 KB

english, 2018

10

[IEEE 2010 IEEE/OES Autonomous Underwater Vehicles (AUV) - Monterey, CA, USA (2010.09.1-2010.09.3)] 2010 IEEE/OES Autonomous Underwater Vehicles - Cooperative-adaptive algorithms for targets localization in underwater environment

Belbachir, Assia, Lacroix, Simon, Ingrand, Felix, Perrier, Michel, Opderbecke, Jan

Year:

2010

Language:

english

File:

PDF, 683 KB

english, 2010

11

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Planning and Acting with Temporal and Hierarchical Decomposition Models

Dvorak, Filip, Bartak, Roman, Bit-Monnot, Arthur, Ingrand, Felix, Ghallab, Malik

Year:

2014

Language:

english

File:

PDF, 712 KB

english, 2014

12

[IEEE 2016 12th European Dependable Computing Conference (EDCC) - Gothenburg (2016.9.5-2016.9.9)] 2016 12th European Dependable Computing Conference (EDCC) - Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level

Sotiropoulos, Thierry, Guiochet, Jeremie, Ingrand, Felix, Waeselynck, Helene

Year:

2016

Language:

english

File:

PDF, 353 KB

english, 2016

13

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Fault Tolerant Planning for Critical Robots

Lussier, Benjamin, Gallien, Matthieu, Guiochet, Jeremie, Ingrand, Felix, Killijian, Marc-Olivier, Powell, David

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

14

[IEEE 2010 International Conference on Machine and Web Intelligence (ICMWI) - Algiers, Algeria (2010.10.3-2010.10.5)] 2010 International Conference on Machine and Web Intelligence - Localizing underwater targets using a cooperative AUV architecture

Belbachir, Assia, Ingrand, Felix, Lacroix, Simon

Year:

2010

Language:

english

File:

PDF, 1.26 MB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски